Broadcast psi-calculi with an application to wireless protocols
نویسندگان
چکیده
منابع مشابه
Higher-order psi-calculi
Psi-calculi is a parametric framework for extensions of the pi-calculus; in earlier work we have explored their expressiveness and algebraic theory. In this paper we consider higher-order psi-calculi through a technically surprisingly simple extension of the framework, and show how an arbitrary psi-calculus can be lifted to its higher-order counterpart in a canonical way. We illustrate this wit...
متن کاملSorted Psi-calculi with Generalised Pattern Matching
Psi-calculi is a parametric framework for extensions of the pi-calculus, with arbitrary data structures and logical assertions for facts about data. In this paper we extend the applicability of psi-calculi in three ways. Firstly, we introduce patterns and pattern matching, in order to allow modelling of computations on the term language. Secondly, we add sorts to the data term language, to remo...
متن کاملBroadcast protocols for wireless sensor networks
Future network is all about an integrated global network based on an open-systems approach. Integrating different types of wireless networks with wireline backbone networks seamlessly and the convergence of voice, multimedia, and data traffic over a single IP-based core network will be the main focus of 4G. With the availability of ultrahigh bandwidth of up to 100 Mbps, multimedia services can ...
متن کاملAn Interoperability Testing Approach to Wireless Application Protocols
Internet services can now be used from mobile terminals. The main standard supporting this technology, WAP, will enable new services since it is compatible with network technologies like IP and UMTS. In parallel, powerful methods must be proposed to validate the underlying protocols in order to guaratee reliability and interoperability of new products. Our work, based on formal methods, contrib...
متن کاملSorted Psi-calculi with Generalised Pattern Matching with proofs
Psi-calculi is a formally verified parametric framework for extensions of the pi-calculus, with arbitrary data structures and logical assertions for facts about data. Although this framework in its original form exhibits considerable expressiveness, many applied computational models cannot be directly represented in it. In this paper we extend the applicability of psi-calculi in three ways. Fir...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Software & Systems Modeling
سال: 2013
ISSN: 1619-1366,1619-1374
DOI: 10.1007/s10270-013-0375-z